French translation for "axiom schema of replacement"
schéma d'axiomes de remplacement
Example Sentences:
1.
Two very well known instances of axiom schemata are the: induction schema that is part of Peano's axioms for the arithmetic of the natural numbers; axiom schema of replacement that is part of the standard ZFC axiomatization of set theory. Deux exemples très bien connus de schémas d’axiomes sont les suivants : l'induction de schéma qui fait partie des axiomes de Peano pour l'arithmétique des nombres naturels ; le schéma d’axiomes de remplacement qui fait partie de l'axiomatisation standard ZFC de la théorie des ensembles.